logic programming
論理プログラミング
automated theorem proving
Constraint logic programming
Control theory
Datalog
Fril
Functional programming
Fuzzy logic
Inductive logic programming
Logic in computer science (includes Formal methods)
Logic programming languages
Programmable logic controller
R++
Reasoning system
Rule-based machine learning
Satisfiability
Boolean satisfiability problem
Linear logic
/suto3/google.iconlogic programming
image logic programming
define logic programming
wikipedia logic programming
weblio logic programming
kotobank logic programming
jisho logic programming